301. Topological model theory

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Topological spaces,، Model theory

رده :
QA
3
.
L28
no
.
769

302. Topological model theory

المؤلف:

المکتبة: (طهران)

موضوع: ، Topological spaces,، Model theory

رده :
QA
3
.
L28
Vol
.
769

303. Using Model Theory in Phonology:

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Linguistics,Mathematics

304. Using Model Theory in Phonology: A Novel Characterization of Syllable Structure and Syllabification

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Linguistics,Mathematics

305. Using R for item response theory model applications

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Item response theory. ; R (Computer program language) ; Item response theory. ; fast ; R (Computer program language) ; fast ;

306. Using R for item response theory model applications /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Item response theory.,R (Computer program language),Item response theory.,PSYCHOLOGY / Research & Methodology,PSYCHOLOGY / Statistics,R (Computer program language),SOCIAL SCIENCE / Research

رده :
BF39
.
2
.
I84
P43
2020

307. What logics mean : from proof theory to model-theoretic semantics

المؤلف:

المکتبة: (طهران)

موضوع: ، Logic,، Semantics,، Logic, Symbolic and mathematical

رده :
BC
71
.
G37W45

308. classical logics, model theory, and computability-Non

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;

309. text analysis in translation theory,methodology,and didactic application of a model for translation-oriented text analysis

المؤلف:

المکتبة: (کرمان)

رده :
P
306
.
2
.
N67
2005

310. theoretic approach to proof theory /-A model

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Proof theory. ;